A Solidity implementation of TAVS

نویسندگان

چکیده

We present a Solidity smart contract implementation of the TAVS e-voting protocol. The Two Authorities Electronic Voting Scheme (TAVS) is voting scheme that achieves universal verifiability with reduced time-complexity both for elector and system. security derives from RSA cryptosystem it employs, assumption two entities do not share information. which replaces one these an immutable in Ethereum based networks. By doing so, our extends properties higher degree resilience, verifiability, availability. open source code implementation.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Motivations for RLVS and TAVs

In this section, we examine the space launch needs of U.S. military, civil, and commercial space sectors. The potential development and operating costs for a small fleet of military TAVs are reviewed and compared with the costs associated with a small expendable launch vehicle. The potential development costs for commercial RLVs are also briefly reviewed. Next, we examine U.S. launch policy and...

متن کامل

Executable Operational Semantics of Solidity

Bitcoin has attracted everyone’s attention and interest recently. Ethereum (ETH), a second generation cryptocurrency, extends Bitcoin’s design by offering a Turing-complete programming language called Solidity to develop smart contracts. Smart contracts allow creditable execution of contracts on EVM (Ethereum Virtual Machine) without third parties. Developing correct smart contracts is challeng...

متن کامل

Geometric Interoperability With Epsilon Solidity

Geometric data interoperability is critical in industrial applications where geometric data are transferred (translated) among multiple modeling systems for data sharing and reuse. A big obstacle in data translation lies in that geometric data are usually imprecise and geometric algorithm precisions vary from system to system. In the absence of common formal principles, both industry and academ...

متن کامل

Solidity of viscous liquids. III. relaxation

It is suggested that the −1/2 high-frequency decay of the loss in highly viscous liquids, which appears to be generic, is a manifestation of a negative long-time tail as typically encountered in stochastic dynamics. The proposed mechanism requires that the coherent diffusion constant is much larger than estimated from the relaxation time. This is justified by reference to the solidity of viscou...

متن کامل

Anne Bjerre & Tavs Bjerre University of Southern Denmark & Aarhus University

In this paper we address the question of which transitive verbs allow there-insertion in Danish. We propose that two constraints have to be met in order for verbs to appear in Danish there-constructions. Firstly, as have been noted by others, an empty direct object position must be available. This constraint is not sufficient for restricting the set of verbs in there-constructions. We further p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Frontiers in blockchain

سال: 2023

ISSN: ['2624-7852']

DOI: https://doi.org/10.3389/fbloc.2023.1105119